UPPAAL 시뮬레이션 트레이스를 이용한 시간 모델의 가상 프로토타입 기반 시뮬레이션2014년 6월 1일 · 약 1분김지훈박흥준이우진담당교수한국정보과학회 2014 한국컴퓨터종합학술대회 논문집, pp. 492-494, 2014년 6월